Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


(with respect to the measure /z). For it follows from (13.12.2) that
l|A^(w)ll ^N00(w); also, for every positive real number a < NJw), there
exists a nonnegligible integrable subset P of K such that \u(t) \ ^ a for all
t e P; hence N2(w<pp)  a  N2(<pP), from which (15.10.2) follows.

The measure \JL is not uniquely determined. We shall come back to this
point a little later (15.10.7).

The definition of MM(w) given in (15.10.1), and the formula (15.10.2), still
make sense if u is not necessarily continuous on K, but simply ^-measurable
and bounded in measure (by virtue of (13.12.5)). The mapping MH*Af (i/)
extended in this manner is a representation of the algebra with involution
5?c(K> p) on the Hilbert space Lc(K, JH). Clearly, if u^ and u2 are equal
almost everywhere with respect to /*, we have M^u^ = M^(u2). Usually we
shall restrict the representation MM to a self-adjoint subalgebra of &% (K, u)
which does not depend on the choice of /x, namely the algebra *C(K) of
universally measurable, bounded complex-valued functions on K (13.9). By
( this is indeed a C-algebra with involution, and it is a Banach
subalgebra of J^(K) by virtue of Egoroff's theorem (13.9.10).

(15.10.3) Again let u^T(u) be a representation of ^(K) in a separable
Hilbert space E, admitting a totalizing vector a. (These hypotheses will be in
force up to and including (15.10.7).) The preceding remarks show that the
representation T may be extended to the algebra with involution ^C(K). The
extended representation (also denoted by T) does not depend on the choice
of totalizing vector a.

To prove this assertion, let x and y be two vectors belonging to E. For
each we^c(K), we have ||T(u)||  \\u\\ (15.5.7) and therefore

(                      \(T(u)-x\y)\^ \\u\\ -\\x\\- \\y\\;

consequently the linear form wh~>(T(w)  x \ y) is a measure uXiy on K such that

il/Oi ^ W'WI-

From this definition it follows immediately that

(                                 ft.* = ,.,-

Also, if x = T(v)  a and y = T(w) * a, where y and w are in ^C(K), tnen fr
each function u e ^C(K) we have

(T(u)  x\y) = (T(ifl?)  fl j T(w)  a) = (T(wuv)  0| a) =

daement e. Let P be the set of positive linear forms on A (or of traces on A), which is a